Control reduction theories: the benefit of structural substitution
نویسندگان
چکیده
منابع مشابه
Control reduction theories: the benefit of structural substitution
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for jumping to a continuation. To the contrary, the λCtp control calculus, developed by the authors, distinguishes between jumps and terms. This alternative calculus, which derives from Parigot’s λμ-calculus, works by dire...
متن کاملcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولthe effect of consciousness raising (c-r) on the reduction of translational errors: a case study
در دوره های آموزش ترجمه استادان بیشتر سعی دارند دانشجویان را با انواع متون آشنا سازند، درحالی که کمتر به خطاهای مکرر آنان در متن ترجمه شده می پردازند. اهمیت تحقیق حاضر مبنی بر ارتکاب مکرر خطاهای ترجمانی حتی بعد از گذراندن دوره های تخصصی ترجمه از سوی دانشجویان است. هدف از آن تاکید بر خطاهای رایج میان دانشجویان مترجمی و کاهش این خطاها با افزایش آگاهی و هوشیاری دانشجویان از بروز آنها است.از آنجا ک...
15 صفحه اولThe Effect of Zn- Cr Substitution on the Structural and Magnetic Properties of Cobalt Ferrite Nanoparticles
In this investigation, the structural and magnetic properties of Cr and Zn substituted Co ferrite with the general formula Co1-xZnxFe2-xCrxO4 (x= 0.1, 0.3, 0.5, 0.7) as prepared by sol- gel method were studied. The structural, morphological and magnetic properties of the samples were characterized by X-ray diffraction (XRD), Fourier transform infrared (FT-IR), Scanning electron microscopy (SEM)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2008
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796807006612